dgit.raspbian.org Git - openmpi.git/shortlog

2017-07-05	Peter Michael...	Import openmpi_2.1.1-6+rpi1.debian.tar.xz	commit \| commitdiff \| tree \| snapshot

Unnamed repository; edit this file 'description' to name the repository.